do
    () :> _
